% :- set(i,2).                         % nuevas variables permitidas en el cuerpo de una cláusula
:- set(minacc,0.80).          % [0.0-1.0] Precisión mínima para cada regla
            :- set(noise,5).     % Ejemplos negativos (como máximo) que puede cubrir una regla
:- set(minpos,2).              % Número de ejemplos positivos (como mínimo) que debe cubrir cada regla
:- set(nodes,5000).         % Numéro de nodos máximo que se explorarán
:- set(evalfn, posonly).
:- set(gsamplesize,10).

:- set(discretization,true).

:- set(test_pos,'./iris/extended_posonly/test6.f').
% :- set(test_neg,'./iris/extended_posonly/test6.n').


:- modeh(*, class(+iris, #class)).

:- modeb(*, sepal_length(+iris, -number)).
%:- modeb(*, sepal_length(+iris, #number)).


:- modeb(*, sepal_width(+iris, -number)).
%:- modeb(*, sepal_width(+iris, #number)).

:- modeb(*, petal_length(+iris, -number)).
%:- modeb(*, petal_length(+iris, #number)).

:- modeb(*, petal_width(+iris, -number)).
%:- modeb(*, petal_width(+iris, #number)).


:- determination(class/2, sepal_length/2).
:- determination(class/2, sepal_width/2).

:- determination(class/2, petal_length/2).
:- determination(class/2, petal_width/2).

false:- class(A,B), class(A,C), B \= C.

:- discretization( class(link,class), sepal_length(link,attribute)).
:- discretization( class(link,class), sepal_width(link,attribute)).
:- discretization( class(link,class), petal_length(link,attribute)).
:- discretization( class(link,class), petal_width(link,attribute)).



class(setosa). class(versicolor).   class(virginica).
iris(e1). iris(e2). iris(e3). iris(e4). iris(e5). iris(e6). iris(e7). iris(e8). iris(e9). iris(e10). iris(e11). iris(e12). iris(e13).
iris(e14). iris(e15). iris(e16). iris(e17). iris(e18). iris(e19). iris(e20). iris(e21). iris(e22). iris(e23). iris(e24). iris(e25).
iris(e26). iris(e27). iris(e28). iris(e29). iris(e30). iris(e31). iris(e32). iris(e33). iris(e34). iris(e35). iris(e36). iris(e37).
iris(e38). iris(e39). iris(e40). iris(e41). iris(e42). iris(e43). iris(e44). iris(e45). iris(e46). iris(e47). iris(e48). iris(e49).
iris(e50). iris(e51). iris(e52). iris(e53). iris(e54). iris(e55). iris(e56). iris(e57). iris(e58). iris(e59). iris(e60). iris(e61).
iris(e62). iris(e63). iris(e64). iris(e65). iris(e66). iris(e67). iris(e68). iris(e69). iris(e70). iris(e71). iris(e72). iris(e73).
iris(e74). iris(e75). iris(e76). iris(e77). iris(e78). iris(e79). iris(e80). iris(e81). iris(e82). iris(e83). iris(e84). iris(e85).
iris(e86). iris(e87). iris(e88). iris(e89). iris(e90). iris(e91). iris(e92). iris(e93). iris(e94). iris(e95). iris(e96). iris(e97).
iris(e98). iris(e99). iris(e100). iris(e101). iris(e102). iris(e103). iris(e104). iris(e105). iris(e106). iris(e107). iris(e108).
iris(e109). iris(e110). iris(e111). iris(e112). iris(e113). iris(e114). iris(e115). iris(e116). iris(e117). iris(e118). iris(e119).
iris(e120). iris(e121). iris(e122). iris(e123). iris(e124). iris(e125). iris(e126). iris(e127). iris(e128). iris(e129). iris(e130).
iris(e131). iris(e132). iris(e133). iris(e134). iris(e135). iris(e136). iris(e137). iris(e138). iris(e139). iris(e140). iris(e141).
iris(e142). iris(e143). iris(e144). iris(e145). iris(e146). iris(e147). iris(e148). iris(e149). iris(e150).


sepal_length(e1,5.1).
sepal_length(e2,4.9).
sepal_length(e3,4.7).
sepal_length(e4,4.6).
sepal_length(e5,5).
sepal_length(e6,5.4).
sepal_length(e7,4.6).
sepal_length(e8,5).
sepal_length(e9,4.4).
sepal_length(e10,4.9).
sepal_length(e11,5.4).
sepal_length(e12,4.8).
sepal_length(e13,4.8).
sepal_length(e14,4.3).
sepal_length(e15,5.8).
sepal_length(e16,5.7).
sepal_length(e17,5.4).
sepal_length(e18,5.1).
sepal_length(e19,5.7).
sepal_length(e20,5.1).
sepal_length(e21,5.4).
sepal_length(e22,5.1).
sepal_length(e23,4.6).
sepal_length(e24,5.1).
sepal_length(e25,4.8).
sepal_length(e26,5).
sepal_length(e27,5).
sepal_length(e28,5.2).
sepal_length(e29,5.2).
sepal_length(e30,4.7).
sepal_length(e31,4.8).
sepal_length(e32,5.4).
sepal_length(e33,5.2).
sepal_length(e34,5.5).
sepal_length(e35,4.9).
sepal_length(e36,5).
sepal_length(e37,5.5).
sepal_length(e38,4.9).
sepal_length(e39,4.4).
sepal_length(e40,5.1).
sepal_length(e41,5).
sepal_length(e42,4.5).
sepal_length(e43,4.4).
sepal_length(e44,5).
sepal_length(e45,5.1).
sepal_length(e46,4.8).
sepal_length(e47,5.1).
sepal_length(e48,4.6).
sepal_length(e49,5.3).
sepal_length(e50,5).
sepal_length(e51,7).
sepal_length(e52,6.4).
sepal_length(e53,6.9).
sepal_length(e54,5.5).
sepal_length(e55,6.5).
sepal_length(e56,5.7).
sepal_length(e57,6.3).
sepal_length(e58,4.9).
sepal_length(e59,6.6).
sepal_length(e60,5.2).
sepal_length(e61,5).
sepal_length(e62,5.9).
sepal_length(e63,6).
sepal_length(e64,6.1).
sepal_length(e65,5.6).
sepal_length(e66,6.7).
sepal_length(e67,5.6).
sepal_length(e68,5.8).
sepal_length(e69,6.2).
sepal_length(e70,5.6).
sepal_length(e71,5.9).
sepal_length(e72,6.1).
sepal_length(e73,6.3).
sepal_length(e74,6.1).
sepal_length(e75,6.4).
sepal_length(e76,6.6).
sepal_length(e77,6.8).
sepal_length(e78,6.7).
sepal_length(e79,6).
sepal_length(e80,5.7).
sepal_length(e81,5.5).
sepal_length(e82,5.5).
sepal_length(e83,5.8).
sepal_length(e84,6).
sepal_length(e85,5.4).
sepal_length(e86,6).
sepal_length(e87,6.7).
sepal_length(e88,6.3).
sepal_length(e89,5.6).
sepal_length(e90,5.5).
sepal_length(e91,5.5).
sepal_length(e92,6.1).
sepal_length(e93,5.8).
sepal_length(e94,5).
sepal_length(e95,5.6).
sepal_length(e96,5.7).
sepal_length(e97,5.7).
sepal_length(e98,6.2).
sepal_length(e99,5.1).
sepal_length(e100,5.7).
sepal_length(e101,6.3).
sepal_length(e102,5.8).
sepal_length(e103,7.1).
sepal_length(e104,6.3).
sepal_length(e105,6.5).
sepal_length(e106,7.6).
sepal_length(e107,4.9).
sepal_length(e108,7.3).
sepal_length(e109,6.7).
sepal_length(e110,7.2).
sepal_length(e111,6.5).
sepal_length(e112,6.4).
sepal_length(e113,6.8).
sepal_length(e114,5.7).
sepal_length(e115,5.8).
sepal_length(e116,6.4).
sepal_length(e117,6.5).
sepal_length(e118,7.7).
sepal_length(e119,7.7).
sepal_length(e120,6).
sepal_length(e121,6.9).
sepal_length(e122,5.6).
sepal_length(e123,7.7).
sepal_length(e124,6.3).
sepal_length(e125,6.7).
sepal_length(e126,7.2).
sepal_length(e127,6.2).
sepal_length(e128,6.1).
sepal_length(e129,6.4).
sepal_length(e130,7.2).
sepal_length(e131,7.4).
sepal_length(e132,7.9).
sepal_length(e133,6.4).
sepal_length(e134,6.3).
sepal_length(e135,6.1).
sepal_length(e136,7.7).
sepal_length(e137,6.3).
sepal_length(e138,6.4).
sepal_length(e139,6).
sepal_length(e140,6.9).
sepal_length(e141,6.7).
sepal_length(e142,6.9).
sepal_length(e143,5.8).
sepal_length(e144,6.8).
sepal_length(e145,6.7).
sepal_length(e146,6.7).
sepal_length(e147,6.3).
sepal_length(e148,6.5).
sepal_length(e149,6.2).
sepal_length(e150,5.9).





sepal_width(e1,3.5).
sepal_width(e2,3).
sepal_width(e3,3.2).
sepal_width(e4,3.1).
sepal_width(e5,3.6).
sepal_width(e6,3.9).
sepal_width(e7,3.4).
sepal_width(e8,3.4).
sepal_width(e9,2.9).
sepal_width(e10,3.1).
sepal_width(e11,3.7).
sepal_width(e12,3.4).
sepal_width(e13,3).
sepal_width(e14,3).
sepal_width(e15,4).
sepal_width(e16,4.4).
sepal_width(e17,3.9).
sepal_width(e18,3.5).
sepal_width(e19,3.8).
sepal_width(e20,3.8).
sepal_width(e21,3.4).
sepal_width(e22,3.7).
sepal_width(e23,3.6).
sepal_width(e24,3.3).
sepal_width(e25,3.4).
sepal_width(e26,3).
sepal_width(e27,3.4).
sepal_width(e28,3.5).
sepal_width(e29,3.4).
sepal_width(e30,3.2).
sepal_width(e31,3.1).
sepal_width(e32,3.4).
sepal_width(e33,4.1).
sepal_width(e34,4.2).
sepal_width(e35,3.1).
sepal_width(e36,3.2).
sepal_width(e37,3.5).
sepal_width(e38,3.1).
sepal_width(e39,3).
sepal_width(e40,3.4).
sepal_width(e41,3.5).
sepal_width(e42,2.3).
sepal_width(e43,3.2).
sepal_width(e44,3.5).
sepal_width(e45,3.8).
sepal_width(e46,3).
sepal_width(e47,3.8).
sepal_width(e48,3.2).
sepal_width(e49,3.7).
sepal_width(e50,3.3).
sepal_width(e51,3.2).
sepal_width(e52,3.2).
sepal_width(e53,3.1).
sepal_width(e54,2.3).
sepal_width(e55,2.8).
sepal_width(e56,2.8).
sepal_width(e57,3.3).
sepal_width(e58,2.4).
sepal_width(e59,2.9).
sepal_width(e60,2.7).
sepal_width(e61,2).
sepal_width(e62,3).
sepal_width(e63,2.2).
sepal_width(e64,2.9).
sepal_width(e65,2.9).
sepal_width(e66,3.1).
sepal_width(e67,3).
sepal_width(e68,2.7).
sepal_width(e69,2.2).
sepal_width(e70,2.5).
sepal_width(e71,3.2).
sepal_width(e72,2.8).
sepal_width(e73,2.5).
sepal_width(e74,2.8).
sepal_width(e75,2.9).
sepal_width(e76,3).
sepal_width(e77,2.8).
sepal_width(e78,3).
sepal_width(e79,2.9).
sepal_width(e80,2.6).
sepal_width(e81,2.4).
sepal_width(e82,2.4).
sepal_width(e83,2.7).
sepal_width(e84,2.7).
sepal_width(e85,3).
sepal_width(e86,3.4).
sepal_width(e87,3.1).
sepal_width(e88,2.3).
sepal_width(e89,3).
sepal_width(e90,2.5).
sepal_width(e91,2.6).
sepal_width(e92,3).
sepal_width(e93,2.6).
sepal_width(e94,2.3).
sepal_width(e95,2.7).
sepal_width(e96,3).
sepal_width(e97,2.9).
sepal_width(e98,2.9).
sepal_width(e99,2.5).
sepal_width(e100,2.8).
sepal_width(e101,3.3).
sepal_width(e102,2.7).
sepal_width(e103,3).
sepal_width(e104,2.9).
sepal_width(e105,3).
sepal_width(e106,3).
sepal_width(e107,2.5).
sepal_width(e108,2.9).
sepal_width(e109,2.5).
sepal_width(e110,3.6).
sepal_width(e111,3.2).
sepal_width(e112,2.7).
sepal_width(e113,3).
sepal_width(e114,2.5).
sepal_width(e115,2.8).
sepal_width(e116,3.2).
sepal_width(e117,3).
sepal_width(e118,3.8).
sepal_width(e119,2.6).
sepal_width(e120,2.2).
sepal_width(e121,3.2).
sepal_width(e122,2.8).
sepal_width(e123,2.8).
sepal_width(e124,2.7).
sepal_width(e125,3.3).
sepal_width(e126,3.2).
sepal_width(e127,2.8).
sepal_width(e128,3).
sepal_width(e129,2.8).
sepal_width(e130,3).
sepal_width(e131,2.8).
sepal_width(e132,3.8).
sepal_width(e133,2.8).
sepal_width(e134,2.8).
sepal_width(e135,2.6).
sepal_width(e136,3).
sepal_width(e137,3.4).
sepal_width(e138,3.1).
sepal_width(e139,3).
sepal_width(e140,3.1).
sepal_width(e141,3.1).
sepal_width(e142,3.1).
sepal_width(e143,2.7).
sepal_width(e144,3.2).
sepal_width(e145,3.3).
sepal_width(e146,3).
sepal_width(e147,2.5).
sepal_width(e148,3).
sepal_width(e149,3.4).
sepal_width(e150,3).



petal_length(e1,1.4).
petal_length(e2,1.4).
petal_length(e3,1.3).
petal_length(e4,1.5).
petal_length(e5,1.4).
petal_length(e6,1.7).
petal_length(e7,1.4).
petal_length(e8,1.5).
petal_length(e9,1.4).
petal_length(e10,1.5).
petal_length(e11,1.5).
petal_length(e12,1.6).
petal_length(e13,1.4).
petal_length(e14,1.1).
petal_length(e15,1.2).
petal_length(e16,1.5).
petal_length(e17,1.3).
petal_length(e18,1.4).
petal_length(e19,1.7).
petal_length(e20,1.5).
petal_length(e21,1.7).
petal_length(e22,1.5).
petal_length(e23,1).
petal_length(e24,1.7).
petal_length(e25,1.9).
petal_length(e26,1.6).
petal_length(e27,1.6).
petal_length(e28,1.5).
petal_length(e29,1.4).
petal_length(e30,1.6).
petal_length(e31,1.6).
petal_length(e32,1.5).
petal_length(e33,1.5).
petal_length(e34,1.4).
petal_length(e35,1.5).
petal_length(e36,1.2).
petal_length(e37,1.3).
petal_length(e38,1.5).
petal_length(e39,1.3).
petal_length(e40,1.5).
petal_length(e41,1.3).
petal_length(e42,1.3).
petal_length(e43,1.3).
petal_length(e44,1.6).
petal_length(e45,1.9).
petal_length(e46,1.4).
petal_length(e47,1.6).
petal_length(e48,1.4).
petal_length(e49,1.5).
petal_length(e50,1.4).
petal_length(e51,4.7).
petal_length(e52,4.5).
petal_length(e53,4.9).
petal_length(e54,4).
petal_length(e55,4.6).
petal_length(e56,4.5).
petal_length(e57,4.7).
petal_length(e58,3.3).
petal_length(e59,4.6).
petal_length(e60,3.9).
petal_length(e61,3.5).
petal_length(e62,4.2).
petal_length(e63,4).
petal_length(e64,4.7).
petal_length(e65,3.6).
petal_length(e66,4.4).
petal_length(e67,4.5).
petal_length(e68,4.1).
petal_length(e69,4.5).
petal_length(e70,3.9).
petal_length(e71,4.8).
petal_length(e72,4).
petal_length(e73,4.9).
petal_length(e74,4.7).
petal_length(e75,4.3).
petal_length(e76,4.4).
petal_length(e77,4.8).
petal_length(e78,5).
petal_length(e79,4.5).
petal_length(e80,3.5).
petal_length(e81,3.8).
petal_length(e82,3.7).
petal_length(e83,3.9).
petal_length(e84,5.1).
petal_length(e85,4.5).
petal_length(e86,4.5).
petal_length(e87,4.7).
petal_length(e88,4.4).
petal_length(e89,4.1).
petal_length(e90,4).
petal_length(e91,4.4).
petal_length(e92,4.6).
petal_length(e93,4).
petal_length(e94,3.3).
petal_length(e95,4.2).
petal_length(e96,4.2).
petal_length(e97,4.2).
petal_length(e98,4.3).
petal_length(e99,3).
petal_length(e100,4.1).
petal_length(e101,6).
petal_length(e102,5.1).
petal_length(e103,5.9).
petal_length(e104,5.6).
petal_length(e105,5.8).
petal_length(e106,6.6).
petal_length(e107,4.5).
petal_length(e108,6.3).
petal_length(e109,5.8).
petal_length(e110,6.1).
petal_length(e111,5.1).
petal_length(e112,5.3).
petal_length(e113,5.5).
petal_length(e114,5).
petal_length(e115,5.1).
petal_length(e116,5.3).
petal_length(e117,5.5).
petal_length(e118,6.7).
petal_length(e119,6.9).
petal_length(e120,5).
petal_length(e121,5.7).
petal_length(e122,4.9).
petal_length(e123,6.7).
petal_length(e124,4.9).
petal_length(e125,5.7).
petal_length(e126,6).
petal_length(e127,4.8).
petal_length(e128,4.9).
petal_length(e129,5.6).
petal_length(e130,5.8).
petal_length(e131,6.1).
petal_length(e132,6.4).
petal_length(e133,5.6).
petal_length(e134,5.1).
petal_length(e135,5.6).
petal_length(e136,6.1).
petal_length(e137,5.6).
petal_length(e138,5.5).
petal_length(e139,4.8).
petal_length(e140,5.4).
petal_length(e141,5.6).
petal_length(e142,5.1).
petal_length(e143,5.1).
petal_length(e144,5.9).
petal_length(e145,5.7).
petal_length(e146,5.2).
petal_length(e147,5).
petal_length(e148,5.2).
petal_length(e149,5.4).
petal_length(e150,5.1).






petal_width(e1,0.2).
petal_width(e2,0.2).
petal_width(e3,0.2).
petal_width(e4,0.2).
petal_width(e5,0.2).
petal_width(e6,0.4).
petal_width(e7,0.3).
petal_width(e8,0.2).
petal_width(e9,0.2).
petal_width(e10,0.1).
petal_width(e11,0.2).
petal_width(e12,0.2).
petal_width(e13,0.1).
petal_width(e14,0.1).
petal_width(e15,0.2).
petal_width(e16,0.4).
petal_width(e17,0.4).
petal_width(e18,0.3).
petal_width(e19,0.3).
petal_width(e20,0.3).
petal_width(e21,0.2).
petal_width(e22,0.4).
petal_width(e23,0.2).
petal_width(e24,0.5).
petal_width(e25,0.2).
petal_width(e26,0.2).
petal_width(e27,0.4).
petal_width(e28,0.2).
petal_width(e29,0.2).
petal_width(e30,0.2).
petal_width(e31,0.2).
petal_width(e32,0.4).
petal_width(e33,0.1).
petal_width(e34,0.2).
petal_width(e35,0.1).
petal_width(e36,0.2).
petal_width(e37,0.2).
petal_width(e38,0.1).
petal_width(e39,0.2).
petal_width(e40,0.2).
petal_width(e41,0.3).
petal_width(e42,0.3).
petal_width(e43,0.2).
petal_width(e44,0.6).
petal_width(e45,0.4).
petal_width(e46,0.3).
petal_width(e47,0.2).
petal_width(e48,0.2).
petal_width(e49,0.2).
petal_width(e50,0.2).
petal_width(e51,1.4).
petal_width(e52,1.5).
petal_width(e53,1.5).
petal_width(e54,1.3).
petal_width(e55,1.5).
petal_width(e56,1.3).
petal_width(e57,1.6).
petal_width(e58,1).
petal_width(e59,1.3).
petal_width(e60,1.4).
petal_width(e61,1).
petal_width(e62,1.5).
petal_width(e63,1).
petal_width(e64,1.4).
petal_width(e65,1.3).
petal_width(e66,1.4).
petal_width(e67,1.5).
petal_width(e68,1).
petal_width(e69,1.5).
petal_width(e70,1.1).
petal_width(e71,1.8).
petal_width(e72,1.3).
petal_width(e73,1.5).
petal_width(e74,1.2).
petal_width(e75,1.3).
petal_width(e76,1.4).
petal_width(e77,1.4).
petal_width(e78,1.7).
petal_width(e79,1.5).
petal_width(e80,1).
petal_width(e81,1.1).
petal_width(e82,1).
petal_width(e83,1.2).
petal_width(e84,1.6).
petal_width(e85,1.5).
petal_width(e86,1.6).
petal_width(e87,1.5).
petal_width(e88,1.3).
petal_width(e89,1.3).
petal_width(e90,1.3).
petal_width(e91,1.2).
petal_width(e92,1.4).
petal_width(e93,1.2).
petal_width(e94,1).
petal_width(e95,1.3).
petal_width(e96,1.2).
petal_width(e97,1.3).
petal_width(e98,1.3).
petal_width(e99,1.1).
petal_width(e100,1.3).
petal_width(e101,2.5).
petal_width(e102,1.9).
petal_width(e103,2.1).
petal_width(e104,1.8).
petal_width(e105,2.2).
petal_width(e106,2.1).
petal_width(e107,1.7).
petal_width(e108,1.8).
petal_width(e109,1.8).
petal_width(e110,2.5).
petal_width(e111,2).
petal_width(e112,1.9).
petal_width(e113,2.1).
petal_width(e114,2).
petal_width(e115,2.4).
petal_width(e116,2.3).
petal_width(e117,1.8).
petal_width(e118,2.2).
petal_width(e119,2.3).
petal_width(e120,1.5).
petal_width(e121,2.3).
petal_width(e122,2).
petal_width(e123,2).
petal_width(e124,1.8).
petal_width(e125,2.1).
petal_width(e126,1.8).
petal_width(e127,1.8).
petal_width(e128,1.8).
petal_width(e129,2.1).
petal_width(e130,1.6).
petal_width(e131,1.9).
petal_width(e132,2).
petal_width(e133,2.2).
petal_width(e134,1.5).
petal_width(e135,1.4).
petal_width(e136,2.3).
petal_width(e137,2.4).
petal_width(e138,1.8).
petal_width(e139,1.8).
petal_width(e140,2.1).
petal_width(e141,2.4).
petal_width(e142,2.3).
petal_width(e143,1.9).
petal_width(e144,2.3).
petal_width(e145,2.5).
petal_width(e146,2.3).
petal_width(e147,1.9).
petal_width(e148,2).
petal_width(e149,2.3).
petal_width(e150,1.8).

